theme: Fix caption border gap

Since widnows decorations with round corners has a special shape,
which when scaled we can't match with a simple border-radius.
So to prevent to show a gap between the caption border and the
caption itself, apply a shadow.

diff --git a/data/theme/_common.scss b/data/theme/_common.scss
index 2c42f1b71b76385b6523663c9f036f800270d81b..fbaa8000c217c922a35e0fe6b2803911ab556392 100644 (file)
--- a/data/theme/_common.scss
+++ b/data/theme/_common.scss
@@ -944,6 +944,10 @@ StScrollBar {
   .window-clone-border {
     border: 4px solid $selected_bg_color;
     border-radius: 4px;
+    // For window decorations with round corners we can't match
+    // the exact shape when the window is scaled. So apply a shadow
+    // to fix that case
+    box-shadow: inset 0px 0px 0px 1px $selected_bg_color;;
   }
   .window-caption {
     spacing: 25px;

diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index 0c21596d912cb516e59ef7879afeef53dea86c17..00203d46dc29a9c5b01462a2ea426f9043a05fdf 100644 (file)
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1200,7 +1200,8 @@ StScrollBar {
 
 .window-clone-border {
   border: 4px solid #215d9c;
-  border-radius: 4px; }
+  border-radius: 4px;
+  box-shadow: inset 0px 0px 0px 1px #215d9c; }
 
 .window-caption {
   spacing: 25px;

diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 0a669fefbbb79aa1c399acf3af5a1d0a9ccf99c5..d4668dc059643d0897dac4bdac995deac2ca3aa4 100644 (file)
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1200,7 +1200,8 @@ StScrollBar {
 
 .window-clone-border {
   border: 4px solid #215d9c;
-  border-radius: 4px; }
+  border-radius: 4px;
+  box-shadow: inset 0px 0px 0px 1px #215d9c; }
 
 .window-caption {
   spacing: 25px;